dagger 對稱 monoidal 圈